
    printf("%d", jiecheng(17));